The Alma Project , or How First - Order LogicCan Help Us in Imperative
نویسندگان
چکیده
The aim of the Alma project is the design of a strongly typed constraint programming language that combines the advantages of logic and imperative programming. The rst stage of the project was the design and implementation of Alma-0, a small programming language that provides a support for declarative programming within the imperative programming framework. It is obtained by extending a subset of Modula-2 by a small number of features inspired by the logic programming paradigm. In this paper we discuss the rationale for the design of Alma-0, the ben-eets of the resulting hybrid programming framework, and the current work on adding constraint processing capabilities to the language. In particular, we discuss the role of the logical and customary variables, the interaction between the constraint store and the program, and the need for lists.
منابع مشابه
The Alma Project, or How First-Order Logic Can Help Us in Imperative Programming
The aim of the Alma project is the design of a strongly typed constraint programming language that combines the advantages of logic and imperative programming. The first stage of the project was the design and implementation of Alma0, a small programming language that provides a support for declarative programming within the imperative programming framework. It is obtained by extending a subset...
متن کاملخاورمیانه بزرگ جهان اسلامی؛ چالش‌ها، راهکارها
Great Middle East Project were proposed on September 12, 2002 for the first time the apparent purpose of this project that faced with opposition and doubts was to help the countries of the Middle East, especially the Arabic countries in the region, in the area of economic, political and social reforms. The term “Islamic Middle East” was first proposed after the Zionist army defeat in the 3...
متن کاملWhat Is the Best Research Globally?
Dr. Afshari’s editorial gives insight on human nature (1). Collaborative willingness usually occurs when different sides perceive personal benefit, or when institutions mandate collaboration. This is not unique between higher and lower income countries; many working in global emergency medicine (EM) observe this within wealthier countries. It exists among collaborators in low resource settings....
متن کاملIdentifying and evaluating individual factors of project manager contributing to project success in project-based organizations
In recent years, The importance key success factors has led organizations to focus more on these factors. project management is one of the factors greatly affecting project success. Having a qualified and competent project manager is the first step to actual project success. In this study, the individual factors and important competencies of the project manager have been investigated. The sta...
متن کاملReportrapport Declarative Programming, First-order Logic, Logic Programming
We p rovide here a computational interpretation of rst-order logic based on a constructive interpretation of satisability w.r.t. a xed but arbitrary interpretation. In this approach the formulas themselves are programs. This contrasts with the so-called formulas as types approach in which the proofs of the formulas are typed terms that can be taken as programs. This view of computing is inspire...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999